k declared in M == k  dom(1of(2of(M))) 

latex

---

clarification:

k declared in M == fpf-dom(KindDeq; k; 1of(2of(M))) 

latex

Definitions	k declared in M, b, x  dom(f), KindDeq, 1of(t), 2of(t)
FDL editor aliases	ma-declk